Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
401	The Cassowary Linear Arithmetic Constraint Solving Algorithm GREG J. BADROS and ALAN BORNING University of Washington Add to Reading List Source URL: constraints.cs.washington.edu Language: English - Date: 2002-01-03 19:01:27 Software engineering Computer programming Computing Constraint satisfaction Constraint logic programming Simplex algorithm Slack variable Linear programming Cassowary Constraint programming Mathematical optimization Operations research
402	On Representing Actions in Multi-Agent Domains Chitta Baral and Gregory Gelfond Department of Computer Science and Engineering Arizona State University Abstract. Reasoning about actions forms the foundation of predictio Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-06-05 19:58:05 Interpretation Philosophy of language Philosophy of mind Semantics Epistemic modal logic Modal logic Symbol Structure Linear temporal logic Logic Mathematical logic Model theory
403	A first-order policy language for history-based transaction monitoring Andreas Bauer, Rajeev Gor´e, and Alwen Tiu Logic and Computation Group, The Australian National University Abstract. Online trading invariably invo Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2009-07-15 21:40:32 Metalogic Model theory Formal languages Complexity classes Logical syntax Linear temporal logic Interpretation FO True quantified Boolean formula Logic Mathematics Mathematical logic
404	SR A Language for Parallel and Distributed Programming Ronald A. Olsson Gregory R. Andrews Michael H. Coffin Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 1999-08-13 20:39:11 Numerical linear algebra Algorithm Mathematical logic Theoretical computer science Distributed computing Matrix multiplication Process Static single assignment form Parallel computing Mathematics Algebra Multiplication
405	Security Protocols, Properties, and their Monitoring Andreas Bauer Jan Jürjens Computer Sciences Laboratory Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2008-05-27 22:19:01 Mathematics Formal methods Temporal logic Model checking Linear temporal logic Formal verification Runtime verification Büchi automaton Model theory Theoretical computer science Applied mathematics Logic in computer science
406	Analysis of Algorithms: Recursion Equations Author: Haldir[RET] Abstract Keywords: Math, Altihmetics, Recursion, Modulo, Algorithm There isn’t much you need to know to understand this Essay, you should be familiar with Add to Reading List Source URL: www.reteam.org Language: English - Date: 2009-05-17 13:10:52 Mathematics Theory of computation Mathematical logic Recursion Self-reference Differential equation Fibonacci number Linear congruential generator Computer programming Programming idioms Computing
407	LTL Goal Specifications Revisited Andreas Bauer and Patrik Haslum1 Abstract. The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constr Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2010-05-25 19:52:52 Logic Mathematical logic Semantics Model checking Model theory Interpretation Trace Temporal logic Linear temporal logic Mathematics
408	Pseudo-MDPs and Factored Linear Action Models ´ Hengshuai Yao, Csaba Szepesv´ari, Bernardo Avila Pires Xinhua Zhang Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2014-10-11 02:37:07 Functional analysis Generalized functions Constructible universe Distribution Function Pullback Vector space Linear temporal logic Μ operator Mathematics Algebra Mathematical analysis
409	Matching Trace Patterns with Regular Policies Franz Baader1, , Andreas Bauer2 , and Alwen Tiu2 1 TU Dresden, Germany [removed] 2 Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2009-04-14 20:01:26 PSPACE-complete NP Regular language Deterministic finite automaton P FO Linear temporal logic Book:Theory Of Computation Theoretical computer science Complexity classes Applied mathematics
410	The Cassowary Linear Arithmetic Constraint Solving Algorithm: Interface and Implementation Greg J. Badros Alan Borning Add to Reading List Source URL: constraints.cs.washington.edu Language: English - Date: 2000-05-10 17:41:18 Mathematics Applied mathematics Simplex algorithm Linear programming Slack variable Constraint logic programming Constraint Least squares Hybrid algorithm Mathematical optimization Constraint programming Operations research

UPDATE